#include "../inc/sched.h"
#include <linux/sched/task_stack.h>
#include <linux/lockdep.h>
#include <trace/events/sched.h>

struct thread_info *task_thread_info(struct task_struct *task)
{
    struct thread_info *ti;

    ti = &task->thread_info;

    return ti;
}

void *task_stack_page(const struct task_struct *task)
{
    return task->stack;
}

struct thread_info *current_thread_info(void)
{
    return task_thread_info(current);
}

int task_on_cpu(struct rq *rq, struct task_struct *p)
{
    return p->on_cpu;
}

struct task_struct *get_task_struct(struct task_struct *p)
{
    return p;
}

void put_task_struct(struct task_struct *t)
{

}
